chaining equivalence variables

鍊接等值变数